2 00 3 Category of A ∞ - categories
نویسنده
چکیده
We define natural A ∞ -transformations and construct A ∞ -category of A ∞ -functors. The notion of non-strict units in an A ∞ -category is introduced. The 2-category of (unital) A ∞ -categories, (unital) functors and transformations is described. The study of higher homotopy associativity conditions for topological spaces began with Stasheff’s article [Sta63, I]. In a sequel to this paper [Sta63, II] Stasheff defines also A∞-algebras and their homotopy-bar constructions. These algebras and their applications to topology were actively studied, for instance, by Smirnov [Smi80] and Kadeishvili [Kad80, Kad82]. We adopt some notations of Getzler and Jones [GJ90], which reduce the number of signs in formulas. The notion of an A∞-category is a natural generalization of A∞-algebras. It arose in connection with Floer homology in Fukaya’s work [Fuk93, Fuk] and was related by Kontsevich to mirror symmetry [Kon95]. See Keller [Kel01] for a survey on A∞-algebras and categories. In the present article we show that given two A∞-categories A and B, one can construct a third A∞-category A∞(A,B) whose objects are A∞-functors f : A → B, and morphisms are natural A∞-transformations between such functors. This result was also obtained by Fukaya [Fuk] and by Kontsevich and Soibelman [KS], independently and, apparently, earlier. We describe compositions between such categories of A∞-functors, which would allow us to construct a 2-category of unital A∞-categories. The latter notion is our generalization of strictly unital A∞-categories (cf. Keller [Kel01]). We also discuss unit elements in unital A∞-categories, unital natural A∞-transformations, and unital A∞-functors. Institute of Mathematics, National Academy of Sciences of Ukraine, 3 Tereshchenkivska st., Kyiv-4, 01601 MSP, Ukraine The research was supported in part by grant 01.07/132 of State Fund for Fundamental Research of Ukraine
منابع مشابه
2 3 M ay 2 00 7 Braid cobordisms , triangulated categories , and flag varieties Mikhail Khovanov and Richard
We argue that various braid group actions on triangulated categories should be extended to projective actions of the category of braid cobordisms and illustrate how this works in examples. We also construct actions of both the affine braid group and the braid cobordism category on the derived category of coherent sheaves on the cotangent bundle to the full flag variety.
متن کامل2 3 M ay 2 00 7 From triangulated categories to abelian categories – cluster tilting in a general framework
A general framework for cluster tilting is set up by showing that any quotient of a triangulated category modulo a tilting subcategory (that is, a maximal oneorthogonal subcategory) carries an induced abelian structure. These abelian quotients turn out to be module categories of Gorenstein algebras of dimension at most one.
متن کاملRestriction categories I: categories of partial maps
Given a category with a stable system of monics, one can form the corresponding category of partial maps. To each map in this category there is, on the domain of the map, an associated idempotent, which measures the degree of partiality. This structure is captured abstractly by the notion of a restriction category, in which every arrow is required to have such an associated idempotent. Categori...
متن کاملFixpoint operators for domain equations
We investigate /xpoint operators for domain equations. It is routine to verify that if every endofunctor on a category has an initial algebra, then one can construct a /xpoint operator from the category of endofunctors to the category. That construction does not lift routinely to enriched categories, using the usual enriched notion of initiality of an endofunctor. We show that by embedding the ...
متن کامل2 3 M ar 2 00 4 RINGS , MODULES , AND ALGEBRAS IN INFINITE LOOP SPACE THEORY
We give a new construction of the algebraic K-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and output. This requires us to define multiplicative structure on the category of small permutative categories. The framework we use is the concept of multicategory, a ...
متن کاملN ov 2 00 3 External tensor product of categories of perverse sheaves
Under some assumptions we prove that the Deligne tensor product of categories of constructible perverse sheaves on pseudomanifolds X and Y is the category of constructible perverse sheaves on X × Y . The Deligne external tensor product functor is identified with the geometrical external tensor product.
متن کامل